101. Artificial intelligence :
پدیدآورنده: Zhi-Hua Zhou, Qiang Yang, Yang Gao, Yu Zheng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Discrete mathematics.
رده :
Q334
102. Artificial life and evolutionary computation :
پدیدآورنده: edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
رده :
Q325
.
W58
2017
103. Asymptotic geometric analysis
پدیدآورنده: Monika Ludwig ... [et al.], editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Geometric analysis, Congresses
رده :
QA360
.
A89
2013
104. At the intersection of language, logic, and information :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
105. Automata on infinite words
پدیدآورنده: Ecole de printemps d'informatique theorique, Le Mont Dore, May 41-81, 4891 ; edited by M. Nivat and D. Perrin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
رده :
QA
76
.
L4
v
.
192
106. Automata on infinite words
پدیدآورنده: Ecole de printemps d'informatique theorique )4891: Le Mont-Dore, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Word problems )Mathematics(-- Congresses
رده :
QA
267
.
E26
1984
107. Automata on infinite words : Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18, 1984
پدیدآورنده: edited by M. Nivat and D. Perrin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
رده :
QA
76
.
L28
Vol
.
192
108. Automated deduction in geometr
پدیدآورنده: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
109. Automated technology for verification and analysis :
پدیدآورنده: Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
111. Bayesian Statistics in Action
پدیدآورنده: \ [Edited by] Raffaele Argiento...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Bayesian statistical decision theory -- Congresses.,Neural networks (Computer science) -- Congresses.,نظریه تصمیم‌گیری آماری بیزی -- کنگره‌ها ,شبکه‌های عصبی (کامپیوتر) -- کنگره‌ها
رده :
E-Book
,
112. Bidirectional transformations :
پدیدآورنده: Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
113. Boolean function complexity /
پدیدآورنده: edited by M.S. Paterson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Boolean.,Computational complexity, Congresses.,Algebra, Boolean.,Boole, algèbre de-- Congrès.,Boolean-functions.,Boolesche Funktion,Complexité de calcul (Informatique)-- Congrès.,Computational complexity.,Komplexitätstheorie,MATHEMATICS-- Algebra-- General.
رده :
QA267
.
7
.
B66
1992eb
114. Building bridges :between mathematics and computer science
پدیدآورنده: / [edited by] Martin Groetschel, Gyula O.H. Katona
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Computer science -- Mathematics,-- Congresses
رده :
004
.
0151
B932
2008
115. Building bridges: between mathematics and computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Lovasz, Loszlo, 8491-,Congresses ، Computer science-- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
M35
.
B85
2008
116. Building bridges : between mathematics and computer science
پدیدآورنده: Martin Grotschel, Gyula O. Katona )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
B84
117. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده: P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
118. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
119. CONPAR 81 :
پدیدآورنده: edited by Wolfgang Händler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
120. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
